Feeds to Scour
SubscribedAll
Scoured 9453 posts in 114.5 ms
Towards Weak Stratification for Logics of Definitions
arxiv.org·4d
📝Term Rewriting
wareya/pred_recdec: Predicated LL (recursive descent) parser in pure rust
github.com·2h·
Discuss: Hacker News
🧩Parser Combinators
How I Built My Project in Haskell
dev.to·1d·
Discuss: DEV
λFunctional Programming
In (highly contingent!) defense of interpretability-in-the-loop ML training
lesswrong.com·2d
📚Automata Learning
The Future of Software Engineering
poberezkin.com·4h·
Discuss: Hacker News
🤖Program Synthesis
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·10h·
Discuss: Hacker News
📐Hoare Logic
The Machine Learned Our Language
medium.com·1d·
Discuss: r/programming
📚Automata Learning
Human-like Search for Modern Applications
anvitra.ai·21h·
Discuss: Hacker News
📐Linear Algebra
What Bleeds Through
futurisold.github.io·8h·
Discuss: Hacker News
❓Existential Types
Oatmeal - Constraint propagation for fun
eli.li·21h·
Discuss: Lobsters, Hacker News
🧮SMT Solvers
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
📦Module Systems
The Next Big Language (2007) by Steve Yegge
steve-yegge.blogspot.com·16h·
Discuss: Hacker News
⚙️Compiler Design
Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture
jonmsterling.com·1d·
Discuss: Hacker News, r/Compilers
🔧ppx
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
link.springer.com·2d·
Discuss: Hacker News
🔢Philosophy of Mathematics
A vector logic for intensional formal semantics
arxiv.org·4d
⚙Operational Semantics
First Proof | Research-Level Math for AI Evaluation
1stproof.org·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Agentic Proof-Oriented Programming
risemsr.github.io·3d·
Discuss: Lobsters, Hacker News
✓Automated Theorem Proving
A Simple Method for Commonsense Reasoning
dev.to·13h·
Discuss: DEV
📚Automata Learning
The control layer for AI
blog.dottxt.ai·2d·
Discuss: Hacker News
🧠Automated Reasoning
A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models
papers.ssrn.com·3d·
Discuss: Hacker News
📚Automata Learning

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help